Search results for "conceptual graphs"

showing 3 items of 3 documents

Argumentation graphs with constraint-based reasoning for collaborative expertise

2018

International audience; Collaborative processes are very important in telemedicine domain since they allow for making right decisions in complex situations with multidisciplinary staff. When modelling these collaborative processes, some inconsistencies can appear. In semantic modelling (conceptual graphs), these inconsistencies are verified using constraints. In this work, collaborative processes are represented using an argumentation system modelled in a conceptual graph formalism where inconsistencies could be particular bad attack relation between arguments. To overcome these inconsistencies, two solutions are proposed. The first one is to weight the arguments evolving in the argumentati…

Constraint based reasoningmedical deontologyComputer Networks and CommunicationsComputer sciencedomain0206 medical engineeringMédecine humaine et pathologieArgumentation theory02 engineering and technologyInconsistenciesWeightingdecision makingArgumentation theoryAutreMultidisciplinary approachframeworksCredibilityconceptual graphs0202 electrical engineering electronic engineering information engineeringinconsistenciesCompetence (human resources)Health professionalsManagement scienceMedical deontology[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]decision-makingargumentation theory16. Peace & justice020601 biomedical engineeringWeightingassignmentConceptual graphsHardware and ArchitectureConceptual graph020201 artificial intelligence & image processingweightingteleexpertiseDecision makingpreference-based argumentationmanagement[SDV.MHEP]Life Sciences [q-bio]/Human health and pathologySoftwareFuture Generation Computer Systems
researchProduct

Verifying a medical protocol with temporal graphs: the case of a nosocomial disease.

2014

Abstract Objective Our contribution focuses on the implementation of a formal verification approach for medical protocols with graphical temporal reasoning paths to facilitate the understanding of verification steps. Materials and methods Formal medical guideline specifications and background knowledge are represented through conceptual graphs, and reasoning is based on graph homomorphism. These materials explain the underlying principles or rationale that guide the functioning of verifications. Results An illustration of this proposal is made using a medical protocol defining guidelines for the monitoring and prevention of nosocomial infections. Such infections, which are acquired in the h…

Model checking[ INFO.INFO-MO ] Computer Science [cs]/Modeling and SimulationComputation tree logicTheoretical computer scienceComputer scienceModel checking Medical protocolMédecine humaine et pathologieCritical Care and Intensive Care MedicineMedical guidelineConsistency (database systems)Clinical Protocols[ SDV.MHEP ] Life Sciences [q-bio]/Human health and pathologyDrug Resistance BacterialHumansFormal verificationProblem SolvingProtocol (science)Cross Infectionbusiness.industryVisual informationModels TheoreticalModélisation et simulationNosocomial diseases[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationConceptual graphsCatheter-Related InfectionsConceptual graphCarrier StateVisual modelingDisease SusceptibilitySoftware engineeringbusiness[SDV.MHEP]Life Sciences [q-bio]/Human health and pathologyAlgorithmsJournal of critical care
researchProduct

Conceptual graph operations for formal visual reasoning in the medical domain

2014

International audience; Objective - Conceptual graphs (CGs) are used to represent clinical guidelines because they support visual reasoning with a logical background, making them a potentially valuable representation for guidelines.Materials and methods - Conceptual graph formalism has an essential and basic component: a formal vocabulary that drives all of the other mechanisms, notably specialization and projection. The graph's theoretical operations, such as projection, rules, derivation, constraints, probabilities and uncertainty, support diagrammatic reasoning.Results - A conceptual graph's graphical user interface includes a multilingual vocabulary management, some query and decision-m…

VocabularyKnowledge representation and reasoningComputer sciencemedia_common.quotation_subjectBiomedical EngineeringBiophysicsHeart failurecomputer.software_genreVisual reasoning[INFO.INFO-IM]Computer Science [cs]/Medical ImagingClinical guidelines and protocolsGraphical user interfacemedia_commonImagerie médicalebusiness.industryVisual reasoningFormal semanticsDiagrammatic reasoningConceptual graphsKnowledge representationConceptual graphGraph (abstract data type)Artificial intelligenceUser interfacebusinesscomputerNatural language processing
researchProduct